Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen

Source URL: matt.might.net

• Abstract interpretation
• Galois connection
• Order theory
• Model theory
• Galois theory
• Structure
• Abstract algebra
• Mathematics
• Algebra

What is Modeled by Truth in All Models?∗ John MacFarlane† March 23, 2000 Abstract John Etchemendy has argued that the model-theoretic definition of logical truth fails as a conceptual analysis of that notion. I will

Source URL: johnmacfarlane.net

• Semantics
• Veracity
• Propositional calculus
• Entailment
• Alfred Tarski
• Interpretation
• Truth
• Soundness
• Modal logic
• Logic
• Philosophy
• Philosophical logic

c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs with

Source URL: homes.cs.washington.edu

• Algorithm
• KeY
• Applied mathematics
• Mathematics
• Formal methods
• Abstract interpretation
• Symbolic execution

Strong Function Call Steven Lyde and Matthew Might University of Utah Abstract. This work presents an incremental improvement to abstract interpretation of higher order languages, similar to strong update, which

Source URL: matt.might.net

• Theoretical computer science
• Abstract interpretation
• Applied mathematics
• Computer science
• Mathematics
• Models of computation
• Computability theory
• Lambda calculus

Forschungsschwerpunkt Interpretation Growing Up – Die Emanzipation des Jazz in der Schweiz 1965–1980 Abstract Erstmals wird ein zentrales Kapitel der Schweizer

Source URL: hkb-interpretation.ch

The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’Ulm[removed]Paris cedex 05, France Patrick.Cousot@ ens.fr

Source URL: vstte.inf.ethz.ch

• Abstract interpretation
• Astrée
• Applied mathematics
• Computer science
• Formal verification
• Patrick Cousot
• Programming language
• Abstraction
• Semantics of programming languages
• Formal methods
• Theoretical computer science
• Logic in computer science

Decidable Model-Checking for a Resource Logic with Production of Resources Natasha Alechina1 and Brian Logan1 and Hoang Nga Nguyen1 and Franco Raimondi2 Abstract. Several logics for expressing coalitional ability under r

Source URL: www.cs.nott.ac.uk

• Philosophy of language
• Philosophy of mind
• Semantics
• Metaphilosophy
• Philosophy
• Linear temporal logic
• Logic
• Model theory
• Interpretation

Computationally grounded account of belief and awareness for AI agents Natasha Alechina and Brian Logan Abstract We discuss the problem of designing a computationally grounded logic

Source URL: www.cs.nott.ac.uk

• Artificial intelligence
• Multi-agent systems
• Philosophy of language
• Branches of philosophy
• Modal logic
• 2APL
• Epistemic modal logic
• Belief revision
• Interpretation
• Logic
• Science
• Mathematical logic

Probability in the Everett World: Comments on Wallace and Greaves∗ Huw Price† April 24, 2006 Abstract

Source URL: philsci-archive.pitt.edu

• Many-worlds interpretation
• Utility
• Decision theory
• Determinism
• Quantum mechanics
• Measurement problem
• Rational choice theory
• Copenhagen interpretation
• De Broglie–Bohm theory
• Physics
• Interpretations of quantum mechanics
• Quantum measurement

Computationally grounded account of belief and awareness for AI agents Natasha Alechina and Brian Logan Abstract We discuss the problem of designing a computationally grounded logic

Source URL: www.cs.nott.ac.uk

• Artificial intelligence
• Multi-agent systems
• Philosophy of language
• Branches of philosophy
• Modal logic
• 2APL
• Epistemic modal logic
• Belief revision
• Interpretation
• Logic
• Science
• Mathematical logic